|
Prof. Steve Reeves is a computer scientist based at the University of Waikato in New Zealand.〔(Steve Reeves Personal Web Page ), (Department of Computer Science ), University of Waikato, New Zealand.〕 He is the Associate Dean and the Programme Co-ordinator of Software Engineering.〔(People: Computer Science ), Department of Computer Science, University of Waikato, New Zealand.〕 He has undertaken research work on the Z notation, formal methods for GUI design and a general theory of refinement. Steve Reeves' academic work is in the area of formal methods to aid software engineering. In particular, he has undertaken research into the design and use of logics for specification. With Prof. Martin Henson, he has studied the formal semantics of the Z notation in detail,〔Martin Henson, (The Standard Logic of Z is Inconsistent ), ''Formal Aspects of Computing'', Volume 10, Number 3, 243–247, 1998. .〕 in relation to the international ISO standard for Z.〔''(Information Technology — Z Formal Specification Notation — Syntax, Type System and Semantics )'', ISO/IEC 13568:2002, (ISO ), 2002.〕 Reeves has delivered talks internationally, including as the opening talk in the BCS-FACS seminar series at the British Computer Society in London in 2005.〔(Past events: 2005 ), BCS-FACS, UK.〕 Steve Reeves is currently Chair of the Z User Group, and the New Zealand member of the Australasian Software Engineering Conference (ASWEC) Steering Committee. He is a Fellow of the British Computer Society, a Fellow of the New Zealand Computer Society (now renamed the Institute of IT Professionals), and is an IT Certified Professional (ITCP). Reeves has published a number of academic papers.〔(Steve Reeves ), Scientific Commons.〕 ==References== 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Steve Reeves (computer scientist)」の詳細全文を読む スポンサード リンク
|